outer semidirect product

外半直积